#include <cstdio>
#include <algorithm>
#include <cstring>
#include <cstdlib>
#include <cmath>
#include <ctime>
#include <iostream>
#include <queue>
#include <vector>
 
#define N 110
 
using namespace std;
 
int n;
int m;
int i=1;
int ans=0;
int flag=1;
int bz[N+N];
char s[N];
 
int get()
{
    char c;
	
	c=getchar();
    
	int x;
	
	x=0;
	
    if(c=='n') 
    {
        getchar();
        
        return -1;
    }
    for(;c>='0'&&c<='9';c=getchar())
		x=x*10+c-48;
		
    return x;
}
void dg(int x)
{
    int aans;
	int hy;
	
	hy=ans;
	aans=ans;
	
    while(i<=n)
    {
        i++;
        
        char c;
		
		c=getchar();
		
        if(c=='E')
        {
            scanf("\n");
            
            ans=aans;
            
            return;
        }
        
        scanf(" %c ",&c);
        
        if(bz[c]==1)
			flag=0;
			
        bz[c]=1;
        
        int q;
		int w;
		
		q=get();
		w=get();
		
        if(q==-1&&w==-1)
            dg(x+1);
            
        if(q==-1&&w>0)
        {
            int jy=ans;
            
			dg(x+1);
			
            ans=jy;
        }
        
        if(q>0&&w==-1)
        {
            ans++;
            
			dg(x+1);
        }
        
        if(q>0&&w>0)
        {
            int jy=-1;
            
            if(q>w)
				jy=ans;
				
			dg(x+1);
			
            if(jy!=-1)
				ans=jy;
        }
        
        bz[c]=0;
        
        aans=max(ans,aans);
        
        ans=hy;
    }
    ans=aans;
    
    if(i>n&&x!=0)
		flag=0;
}
int main()
{
    int ac;
    
	scanf("%d\n",&ac);
	
    for(;ac;ac--)
    {
        memset(bz,0,sizeof(bz));
        
        i=1;
        
		flag=1;
		
		ans=0;
		
        char c;
        
		scanf("%d O(%c",&n,&c);
		
        if(c=='n')
            scanf("^%d",&m);
        else
			m=0;
			
        scanf(")\n");
        
        dg(0);
        
        if(i<=n) 
        {
            flag=0;
            
            while(i<=n)
            {
                char c;
				
				c=getchar();
				
                if(c=='E')
                    scanf("\n");
                else
                {
                    scanf(" %c ",&c);
                    int q;
					q=get();
					q=get();
                }
                
                i++;
            }
        }
        if(flag==0)
			printf("ERR");
        else
        {
            if(ans==m)
				printf("Yes");
            else
				printf("No");
        }
        
        printf("\n");
    }
    return 0;
}

